（来源：上观新闻）
黄仁勋🐃：这个主意不错🍻（笑）🍹。近日，上海交通🎢🎫大学 ♋🇯🇵IPADS 🕰研究团队打造了🙂🐺形式化方🐙💯法智能😻体 FM-Ag♎🏠ent🏩🗣，首次🏘🎐实现了面向🌵👟大规模系统的全🔊自动正确性推理🈳。但康雨🇧🇧强调，纯粹的硬👩🍳🇵🇸件堆叠并不能构成🌽终极护城河，👩🚒中国供应链环境下🧕硬件很容易“平🐊🗝权”，未来比🃏🈺拼的重点还🦖是“大小脑”🇲🇩的结合与运控算🧗♂️法生态👲🛩。
所以，在商业语🥕境里，Da🦒📡vid指小🦅公司，🇦🇴Goli🧗♀️🚴ath指行业巨⏱头🛴。毕竟，🐷🖐重新训练一个大💰🍄模型需要的资源往⌚💺往是普通研究团队🇸🇾难以承受的，而⛵👨🍳这种"不改模型本🥼身，改流程🇧🇱"的思👨👩👧👧🦈路，提🤦♀️👍供了一条更具可🎬👨👦行性的改进路径🕶。但从五大云服务🆎📙商的角🥧度看，👈实际上使用这些计📋🐥算资源的是Ant👨🎤hropic🚺、OpenAI😘🥏，以及📅🌈有能力自🚛🇽🇰己构建各种🇿🇦📞加速器的大型基础✉📧模型实验室😌。
